<div>
    Utilizza WebSocket per connettersi al master Jenkins anziché una porta
    TCP. Si veda <a href="https://www.jenkins.io/jep/222">JEP-222</a> per il
    contesto.
</div>
